Some Theorems We Should Prove
نویسنده
چکیده
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other errors are quite common. To detect the “early” errors in a document, one must attempt to prove certain simple theorems. This paper gives some examples of such theorems.
منابع مشابه
Weak convergence theorems for symmetric generalized hybrid mappings in uniformly convex Banach spaces
In this paper, we prove some theorems related to properties of generalized symmetric hybrid mappings in Banach spaces. Using Banach limits, we prove a fixed point theorem for symmetric generalized hybrid mappings in Banach spaces. Moreover, we prove some weak convergence theorems for such mappings by using Ishikawa iteration method in a uniformly convex Banach space.
متن کاملCoupled fixed point theorems involving contractive condition of integral type in generalized metric spaces
In this manuscript, we prove some coupled fixed point theorems for two pairs of self mappings satisfying contractive conditions of integral type in generalized metric spaces. We furnish suitable illustrative examples. In this manuscript, we prove some coupled fixed point theorems for two pairs of self mappings satisfying contractive conditions of integral type in generalized metric spaces. We f...
متن کاملRational Geraghty Contractive Mappings and Fixed Point Theorems in Ordered $b_2$-metric Spaces
In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...
متن کاملSome properties of fuzzy real numbers
In the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. In this study, we try to prove Bernoulli's inequality in fuzzy real numbers with some of its applications. Also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.
متن کاملSolving infinite system of nonlinear integral equations by using F-generalized Meir-Keeler condensing operators, measure of noncompactness and modified homotopy perturbation.
In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...
متن کاملNew operators through measure of non-compactness
In this article, we use two concepts, measure of non-compactness and Meir-Keeler condensing operators. The measure of non-compactness has been applied for existence of solution nonlinear integral equations, ordinary differential equations and system of differential equations in the case of finite and infinite dimensions by some authors. Also Meir-Keeler condensing operators are shown in some pa...
متن کامل